Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Reasoning about actions with ℰℒ ontologies and temporal answer sets
2021-01-01 Giordano, L.; Martelli, A.; Theseider Dupre', Daniele.
Reasoning About Typicality in ALC and EL
2009-01-01 Giordano, Laura; V., Gliozzi; N., Olivetti; G. L., Pozzato
Runtime checks as nominal types
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
A smart financial advisory system exploiting Case-Based Reasoning
2016-01-01 Leonardi, Giorgio; Portinale, Luigi; Artusio, Palo; Valsania, Marco
Strengthening the rational closure for description logics: An overview
2019-01-01 Giordano, L.; Gliozzi, V.
Structural Positional Encoding for knowledge integration in transformer-based medical process monitoring
2023-01-01 Dossena, M.; Irwin, C.; Leonardi, G.; Montani, S.
Towards a conditional interpretation of self organizing maps
2020-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Towards semantic process mining through knowledge-based trace abstraction
2017-01-01 Montani, S.; Striani, Manuel; Quaglini, S.; Cavallini, A.; Leonardi, G.
Types for Immutability and Aliasing Control
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Using ontologies as a faceted browsing for heterogeneous cultural heritage collections
2015-01-01 Tomasi, Francesca; Ciotti, Fabio; Daquino, Marilena; Lana, Maurizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reasoning about actions with ℰℒ ontologies and temporal answer sets | 1-gen-2021 | Giordano, L.; Martelli, A.; Theseider Dupre', Daniele. | |
| Reasoning About Typicality in ALC and EL | 1-gen-2009 | Giordano, Laura; V., Gliozzi; N., Olivetti; G. L., Pozzato | |
| Runtime checks as nominal types | 1-gen-2016 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
| A smart financial advisory system exploiting Case-Based Reasoning | 1-gen-2016 | Leonardi, Giorgio; Portinale, Luigi; Artusio, Palo; Valsania, Marco | |
| Strengthening the rational closure for description logics: An overview | 1-gen-2019 | Giordano, L.; Gliozzi, V. | |
| Structural Positional Encoding for knowledge integration in transformer-based medical process monitoring | 1-gen-2023 | Dossena, M.; Irwin, C.; Leonardi, G.; Montani, S. | |
| Towards a conditional interpretation of self organizing maps | 1-gen-2020 | Giordano, L.; Gliozzi, V.; Theseider Dupre', D. | |
| Towards semantic process mining through knowledge-based trace abstraction | 1-gen-2017 | Montani, S.; Striani, Manuel; Quaglini, S.; Cavallini, A.; Leonardi, G. | |
| Types for Immutability and Aliasing Control | 1-gen-2016 | Giannini, Paola; Servetto, Marco; Zucca, Elena | |
| Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
| Using ontologies as a faceted browsing for heterogeneous cultural heritage collections | 1-gen-2015 | Tomasi, Francesca; Ciotti, Fabio; Daquino, Marilena; Lana, Maurizio |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile